Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
- Författare
- (Edited by Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer International Publishing, Imprint: Springer | 2016 | Tyskland, Cham | XVI, 247 sidor. 89 illus. online resource. | 978-3-319-45943-1 |